Digital Library


Search: "[ author: Kihyun Chung ]" (3)
    Generating Test Cases and Scripts from Requirements in Controlled Language
    Hye Jin Han, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 8, No. 8, pp. 331-342, Aug. 2019
    https://doi.org/10.3745/KTSDE.2019.8.8.331
    Keywords: test case generation, Test Script, Controlled Requirement, Test Coverage, Test Case Auto Generation


    Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback
    WooWon Choi, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 7, pp. 361-370, Jul. 2017
    10.3745/KTSDE.2017.6.7.361
    Keywords: Embedded System, Testing, Feedback, Test Case


    Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
    Han Gon Park, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 6, pp. 293-302, Jun. 2017
    10.3745/KTSDE.2017.6.6.293
    Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices